Formal systems

Results: 1365



#Item
21Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

Add to Reading List

Source URL: www.cs.bham.ac.uk.

Language: English - Date: 2010-04-20 09:42:28
    22Chapter 12 Leveraging Cellphones for Wayfinding and Journey Planning in Semi-formal Bus Systems: Lessons from Digital Matatus in Nairobi

    Chapter 12 Leveraging Cellphones for Wayfinding and Journey Planning in Semi-formal Bus Systems: Lessons from Digital Matatus in Nairobi

    Add to Reading List

    Source URL: www.digitalmatatus.com

    - Date: 2015-08-04 14:07:14
      23Title:  Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s

      Title:  Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s

      Add to Reading List

      Source URL: fmse.info.uaic.ro

      - Date: 2018-03-28 04:48:03
        24Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More information

        Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More information

        Add to Reading List

        Source URL: assets.cambridge.org

        - Date: 2008-10-20 04:00:11
          25A Formal Definition of Intelligence for Artificial Systems Shane Legg and Marcus Hutter IDSIA, Galleria 2, Manno-Lugano 6928, Switzerland {shane,marcus}@idsia.ch A fundamental difficulty in artificial intelligence is th

          A Formal Definition of Intelligence for Artificial Systems Shane Legg and Marcus Hutter IDSIA, Galleria 2, Manno-Lugano 6928, Switzerland {shane,marcus}@idsia.ch A fundamental difficulty in artificial intelligence is th

          Add to Reading List

          Source URL: www.vetta.org

          - Date: 2006-07-19 05:43:18
            26Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Copyright Information More information

            Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Copyright Information More information

            Add to Reading List

            Source URL: assets.cambridge.org

            - Date: 2008-10-20 04:00:11
              27Introduction to the Proceedings of FAMAS’09 Formal Approaches to Multiagent Systems (Introductory Essay of the Workshop) Barbara Dunin-Ke¸plicz∗ and Rineke Verbrugge† ∗ Institute

              Introduction to the Proceedings of FAMAS’09 Formal Approaches to Multiagent Systems (Introductory Essay of the Workshop) Barbara Dunin-Ke¸plicz∗ and Rineke Verbrugge† ∗ Institute

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2009-08-10 09:53:16
                28Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information

                Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information

                Add to Reading List

                Source URL: assets.cambridge.org

                - Date: 2008-10-20 04:00:11
                  29FORMAL APPROACHES TO MULTI-AGENT SYSTEMS, On the Incentive Compatible Core of a Procurement Network Formation Game with Incomplete

                  FORMAL APPROACHES TO MULTI-AGENT SYSTEMS, On the Incentive Compatible Core of a Procurement Network Formation Game with Incomplete

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2009-08-10 08:39:14
                    30Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information

                    Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information

                    Add to Reading List

                    Source URL: assets.cambridge.org

                    - Date: 2008-10-20 04:00:11